Nuprl Definition : xxst_anti_sym 13,42

basic
st_anti_sym(T;R) == StAntiSym(T;x,y.R(x,y)) 
latex


Upgen algebra 1
Wellformedness Lemmasxxst anti sym wf
DefinitionsStAntiSym(T;x,y.R(x;y))

origin